$\forall$$M$:msga\{i:l\}. ma{-}feasible\{i:l\}($M$) $\in$ Prop$_{\mbox{\scriptsize i'}}$